1. Logical Foundations of Computer Science
Author: \ Sergei Artemov , Anil Nerode (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L6
2015
E-Book
,
2. Logical foundations of computer science :
Author: Sergei Artemov, Anil Nerode (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer science, Congresses
3. Logical foundations of computer science
Author: / Sergei N. Artemov, Anil Nerode (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal
Classification :
QA
,
75
.
5
,.
L44
,
2007
4. Logical foundations of computer science
Author: Sergei Artemov, Anil Nerode (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer science, Congresses
Classification :
QA75
.
5
.
L43
2013
